ARITY ANALYSIS (Working Notes Only, Not Ready for Publication Yet)
نویسنده
چکیده
Virtually every compiler performs transformations on the program it is compiling in an attempt to improve efficiency. However, a transformation known as “lambda floating” has not received much attention in the past. In this paper we describe an analysis on the arity of a function which determines the number of lambdas that can be floated out. We give detailed measurements of the effect in an optimising compiler for the higher-order polymorphic functional language Haskell. Our results show that it is an important transformation offering an average reduction of 5% in execution time.
منابع مشابه
A Mixed Initiative Controller and Testbed for Human Robot Teams in Tactical Operations
The proceedings, working notes, or technical report will be printed directly from camera-ready copy furnished by the authors. To ensure that all papers in the publication have a uniform appearance, authors should adhere to the following instructions. (Authors who are only writing an extended abstract need not include an abstract of their
متن کاملPattern Unification with Sequence Variables, Flexible Arity Symbols
A unification procedure for a theory with individual and sequence variables, free constants, free fixed and flexible arity function symbols and patterns is described. The procedure enumerates a set of substitution/constraint pairs which constitutes the minimal complete set of unifiers.
متن کاملCharacteristics of People with Hip or Knee Osteoarthritis Deemed Not Yet Ready for Total Joint Arthroplasty at Triage
PURPOSE To identify the characteristics of people with hip or knee osteoarthritis (OA) attending a regional triage centre for an initial consult who are deemed not yet ready for total joint arthroplasty (TJA). METHODS Initial consultation notes (n=482) were reviewed retrospectively. Predictive variables were derived from the literature a priori, and 14 of these variables were suitable for inc...
متن کاملکاربرد روشهای شناسایی تورش انتشار برای فراتحلیل در ارزیابی تاثیر داروی آلبندازول در درمان مبتلایان به آسکاریس و تریکوسفال
Background : Meta analysis is a statistical method to combine the findings of a set of large number of published individual studies and re-analyse them. The use of meta-analysis methods in medical research has been increased, noticeably, in resent years. However, one of the major shortcomings in such analysis is that the researcher, could not access all conducted studies in the area of concern...
متن کاملAnalysis of the Impact of Economic Sanctions on Health Research and Publication Activities of Scientists from Iran
The article discusses the publication activity of scientists in the field of studying the consequences of US economic sanctions against Iran, and their impact on the development of science and the economy in this countries. The paper considers the dynamics of publication activity in the field of biomedicine of Iranian scientists over the past 20 years. Increased sanctions have led to a shortage...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006